Contributions à la flore d'Extrême-Orient. Hamamélidacées

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Contributions à la reconnaissance automatique de la parole non-native

Contributions à la génération de tests à base de contraintes. (Contributions to Constraint-Based Testing)

Automatic test data generation leads to identify input values on which a selected point in a procedure is ex ecuted This paper introduces a new method for this problem based on constraint solving techniques First we statically transform a procedure into a constraint system by using well known Static Single Assignment form and control dependencies Second we solve this system to check whether at ...

Contributions théoriques à la conception et l'évaluation d'un système d'informations appliqué à la gestion

Contributions à l'algorithmique détendue et à la résolution des systèmes polynomiaux. (Contributions to relaxed algorithms and polynomial system solving)